Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September ... Papers (Lecture Notes in Computer Science)
by Michael Hanus,Ricardo Rocha
ISBN 13: 9783319089089
Format: Paperback (264 pages) Publisher: Springer Published: 24 Jul 2014
Save for later
Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings: 1298 (Lecture Notes in Computer Science)
by Michael Hanus, Jan Heering, Karl Meinke
ISBN 13: 9783540634591
Format: Paperback (308 pages) Publisher: Springer Published: 20 Aug 1997
Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, ... 10997 (Lecture Notes in Computer Science)
by Dietmar Seipel,Michael Hanus,Salvador Abreu
ISBN 13: 9783030008000
Format: Paperback (228 pages) Publisher: Springer Published: 27 Sep 2018
Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and ... 3392 (Lecture Notes in Computer Science)
by Michael Hanus, Dietmar Seipel, Ulrich Geske, Oskar Bartenstein
ISBN 13: 9783540255604
Format: Paperback (324 pages) Publisher: Springer Published: 13 Jun 2008
Problemlösen mit Prolog (MikroComputer-Praxis)
by Michael Hanus
ISBN 13: 9783519125419
Format: Paperback (228 pages) Publisher: Vieweg+Teubner Verlag Published: 01 Sep 1987
Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings: 1139 (Lecture Notes in Computer Science)
by Michael Hanus,Mario Rodriguez-Artalejo
ISBN 13: 9783540617358
Format: Paperback (360 pages) Publisher: Springer Published: 13 Jun 2008
Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers: 12560 (Lecture Notes in Computer Science, 12560)
by Michael Hanus,Claudio Sacerdoti Coen
ISBN 13: 9783030753320
Format: Paperback (152 pages) Publisher: Springer Published: 06 May 2021
Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings: 13215 (Lecture Notes in Computer Science, 13215)
by Michael Hanus,Atsushi Igarashi
ISBN 13: 9783030994600
Format: Paperback (299 pages) Publisher: Springer Published: 31 Mar 2022